From 5dd09de10554aa6a29a35858ddc07593d9dcd123 Mon Sep 17 00:00:00 2001
From: Rene Engelhard <rene@rene-engelhard.de>
Date: Wed, 23 May 2018 17:30:04 +0200
Subject: [PATCH] micro-optimization: do not check for ant if we don't need it

Change-Id: I84644cddd8a318a2af23780ada9afc26fe23a9fe

Gbp-Pq: Name no-ant-check-if-unneeded.diff
---
 configure.ac | Bin 459529 -> 459641 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/configure.ac b/configure.ac
index 971a9049569fbe13da17fa7fd37bbbca64c9a76a..666cbfb8f9af3218bb766513a598db5266383c4a 100644
GIT binary patch
delta 154
zcmeBdllj>u)6l}$!qmdNg(YPHub-={OT43Bh;2wvsO$8N0xU}HwF_9b*Dhe)Y9Ocp
z1gHu=-eWb`9($2>Ix7}Q!$4N)?OfMc->_p!ZU^d&Xya4RO;k`)ftfkoaRHO)_K;Mz
Gt#biNYBA3M

delta 76
zcmey_Cezs_)6l}$!qmdNg(YP{d({G#?Ntj{&lyZ-zs;&WefMrwzU|X5vUajg7k6V5
g+wOCn^$j~n%5;14eO9@)>Ger$Jll_^vTd0Q0GkOOq5uE@

-- 
2.30.2